/*
   Copyright (c) 2011, 2015 Mizar Tools Contributors (mizartools.org)

   Licensed under the Apache License, Version 2.0 (the "License");
   you may not use this file except in compliance with the License.
   You may obtain a copy of the License at

       http://www.apache.org/licenses/LICENSE-2.0

   Unless required by applicable law or agreed to in writing, software
   distributed under the License is distributed on an "AS IS" BASIS,
   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
   See the License for the specific language governing permissions and
   limitations under the License.
*/
/*  Contributors :
 *	2011-03-20 Marco Riccardi - initial implementation
 *  2015-01-11 Marco Riccardi - 5.22 MML System
 *
 */
package org.mizartools.system.executable;

public enum ExecutableFileEnum {
	
	absedt {
		public String getDescription(){return "Editing Abstract";};
	},
	accom {
		public String getDescription(){return "Accommodator";};
	},
	addfmsg {
		public String getDescription(){return "Appending Errors Explanations";};
	},
	checkvoc {
		public String getDescription(){return "Checking Vocabulary";};
	},
//	chkerr {
//		public String getDescription(){return "?";};
//	},
	chklab {
		public String getDescription(){return "Irrelevant Label Detector";};
	},
	chkrprem {
		public String getDescription(){return "Irrelevant Premises Detector (from the right hand side)";};
	},
	clearenv {
		public String getDescription(){return "Environment Cleaner";};
	},
	commextr {
		public String getDescription(){return "Comments Extractor";};
	},
	constr {
		public String getDescription(){return "Required Constructors Directives";};
	},
	createvd {
		public String getDescription(){return "Creating Environment Description";};
	},
	dellink {
		public String getDescription(){return "Delinker";};
	},
	edtfile {
		public String getDescription(){return "Editor";};
	},
	envget {
		public String getDescription(){return "Environment Dumper";};
	},
	errflag {
		public String getDescription(){return "Put Error Flags";};
	},
	exporter {
		public String getDescription(){return "Exporter";};
	},
	findvoc {
		public String getDescription(){return "Find Vocabulary";};
	},
	inacc {
		public String getDescription(){return "Inaccessible Items Detector";};
	},
	irrths {
		public String getDescription(){return "Irrelevant 'theorems' & 'schemes' Detector";};
	},
	irrvoc {
		public String getDescription(){return "Irrelevant 'vocabulary' Detector";};
	},
	lisppars {
		public String getDescription(){return "Lisp Parser";};
	},
	listvoc {
		public String getDescription(){return "List of Vocabularies";};
	},
	makeenv {
		public String getDescription(){return "Make Environment";};
	},
	mglue {
		public String getDescription(){return "Mglue";};
	},
//	msplit {
//		public String getDescription(){return "Msplit";};
//	},
	prune {
		public String getDescription(){return "Pruner";};
	},
//	ratproof {
//		public String getDescription(){return "Replace \"@proof\" with \"proof\"";};
//	},
	refrem {
		public String getDescription(){return "Irrelevant References Editor";};
	},
	relinfer {
		public String getDescription(){return "Irrelevant Inferences Detector";};
	},
	reliters {
		public String getDescription(){return "Irrelevant Iterative Steps Detector";};
	},
	relprem {
		public String getDescription(){return "Irrelevant Premises Detector";};
	},
	remflags {
		public String getDescription(){return "Remove Error Flags";};
	},
	renthlab {
		public String getDescription(){return "Theorems Label Editor";};
	},
	transfer {
		public String getDescription(){return "Transferer";};
	},
	trivdemo {
		public String getDescription(){return "Trivial Proofs Detector";};
	},
	unhereby {
		public String getDescription(){return "hereby -> thus now";};
	},
	verifier {
		public String getDescription(){return "Verifier";};
	},
	wsmparser {
		public String getDescription(){return "Pure Parser for Mizar";};
	};

	public abstract String getDescription();
	
}
